elimination for Ax=0